Expressive probabilistic description logics

Reasoning in Expressive Description Logics

Datalog and Description Logics : Expressive

Recently there was some attention on integration of description logics of the AL-family with rule-based languages for querying rela-tional databases such as Datalog, so as to achieve the best characteristics of both kinds of formalisms in a common framework. Formal analysis on such hybrid languages has been limited to computational complexity: i.e., how much time/space it is needed to answer to...

(Probabilistic) Description Logics

The Semantic Web aims at making information available in a form that is understandable and automatically manageable by machines. Ontologies are engineering artifacts used to this purpose, and Description Logics (DLs) are a family of logic-based languages particularly suitable for modeling (and reasoning upon) ontologies and the Semantic Web. Great effort has been spent in identifying decidable ...

Probabilistic Description Logics

On the one hand, class ical terminological knowledge representation excludes the possi­ bility of handling uncertain concept descrip­ tions involving, e.g., "usually true" concept properties, generalized quantifiers, or excep­ tions. On the other hand, purely numer­ ical approaches for handling uncertainty in general are unable to consider terminologi­ cal knowledge. This paper presents the lan...

Practical uniform interpolation for expressive description logics

Practical Uniform Interpolation for Expressive Description Logics